TSTP Solution File: DAT305^1 by Nitpick---2016